単語帖(完) ディスパッチャ，Curry Howard対応，RAID，終りの印 - 共立出版コンピュータサイエンス誌『bit』